#ifndef WDT_H
#define WDT_H

#include <stdint.h>





extern void WDT_Feed(void);
extern void WDT_Init(void);





#endif
